bitkeeper revision 1.1576 (42983193Zhd1D5IEn8s4gplr_BeXnQ)
authorarun.sharma@intel.com[kaf24] <arun.sharma@intel.com[kaf24]>
Sat, 28 May 2005 08:53:39 +0000 (08:53 +0000)
committerarun.sharma@intel.com[kaf24] <arun.sharma@intel.com[kaf24]>
Sat, 28 May 2005 08:53:39 +0000 (08:53 +0000)
commite699269ef3bc09e2f1350f80ced70a5fc7c52a5d
treec4709861abf57718d97346256cd411f81d949521
parent1590d44963217a9cd0eaa4818af172b7e79d31ad
bitkeeper revision 1.1576 (42983193Zhd1D5IEn8s4gplr_BeXnQ)

[PATCH] vmx-io.patch

Fix some of the race conditions that show up when the device models are
running on one CPU and the VMX domain is running on another on a SMP
system.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
xen/arch/x86/vmx.c
xen/arch/x86/vmx_io.c
xen/arch/x86/vmx_platform.c
xen/include/asm-x86/vmx_platform.h